Program analysis

Results: 6751



#Item
991Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech

Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech

Add to Reading List

Source URL: people.cs.vt.edu

Language: English - Date: 2013-03-24 21:20:50
992HILT 2014: HIGH INTEGRITY LANGUAGE TECHNOLOGY ACM SIGAda’s Annual International Conference Co-Located with OOPSLA/SPLASH 2014 October 18 – 21, Portland, Oregon / Final Program High integrity software must not

HILT 2014: HIGH INTEGRITY LANGUAGE TECHNOLOGY ACM SIGAda’s Annual International Conference Co-Located with OOPSLA/SPLASH 2014 October 18 – 21, Portland, Oregon / Final Program High integrity software must not

Add to Reading List

Source URL: www.sigada.org

Language: English - Date: 2014-10-08 09:12:42
9932014  NCA  LSI  DIVISION  –  Long  Program       THURSDAY,  NOV  20  2014    

2014  NCA  LSI  DIVISION  –  Long  Program       THURSDAY,  NOV  20  2014    

Add to Reading List

Source URL: www.nca-lsi.org

Language: English - Date: 2014-11-05 14:37:22
994Economic Impact Analysis And Program Evaluation 2009 Conference on International Opportunities in the Arts September 2009

Economic Impact Analysis And Program Evaluation 2009 Conference on International Opportunities in the Arts September 2009

Add to Reading List

Source URL: transculturalexchange.org

Language: English - Date: 2009-10-06 19:02:19
995SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMay 2014) Contents

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMay 2014) Contents

Add to Reading List

Source URL: types.cs.washington.edu

Language: English - Date: 2014-05-05 13:14:35
996SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMayDo not distribute.

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMayDo not distribute.

Add to Reading List

Source URL: types.cs.washington.edu

Language: English - Date: 2013-05-01 12:50:57
997MRI screening program for individuals at high risk of pancreatic cancer

MRI screening program for individuals at high risk of pancreatic cancer

Add to Reading List

Source URL: medicalxpress.com

Language: English - Date: 2015-05-28 09:53:07
998Learning from 26 Languages: Program Management and Science in the Babel Program Mary Harper Incisive Analysis Office Intelligence Advanced Research Projects Activity Office of the Director of National Intelligence

Learning from 26 Languages: Program Management and Science in the Babel Program Mary Harper Incisive Analysis Office Intelligence Advanced Research Projects Activity Office of the Director of National Intelligence

Add to Reading List

Source URL: anthology.aclweb.org

Language: English
999In Solidarity with People’s Protest and Resistance in Iran A Compilation of Statements, Reports, Analysis and Appeals in Wake of the Post Election Events of June 2009 A Special Issue of the South Asia Citizens Wire - 2

In Solidarity with People’s Protest and Resistance in Iran A Compilation of Statements, Reports, Analysis and Appeals in Wake of the Post Election Events of June 2009 A Special Issue of the South Asia Citizens Wire - 2

Add to Reading List

Source URL: www.sacw.net

Language: English - Date: 2009-06-24 12:12:06
1000Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales

Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2008-07-25 12:01:05